class NodoHoja extends Nodo {

    /** // constructor del nodo hoja
    *  v : valor del nodo
    */

    public NodoHoja(Object v) {
        super(v, null, null);
    }
    
    /**
     * devuelve un string del nodo hoja
    * 
    */
    
    public String toString() {
        return "" + valor;
    }
}